The General MCSCF Method with Full Symmetry Reduction
نویسندگان
چکیده
منابع مشابه
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking
It is often the case that systems are “nearly symmetric”; they exhibit symmetry in a part of their description but are, nevertheless, globally asymmetric. We formalize several notions of near symmetry and show how to obtain the benefits of symmetry reduction when applied to asymmetric systems which are nearly symmetric. We show that for some nearly symmetric systems it is possible to perform sy...
متن کاملComputational Complexity of the Place/Transition-Net Symmetry Reduction Method
Computational complexity of the sub-tasks appearing in the symmetry reduction method for Place/Transition-nets is studied. The first task of finding the automorphisms (symmetries) of a net is shown to be polynomial time many-one equivalent to the problem of finding the automorphisms of a graph. The problem of deciding whether two markings are symmetric is shown to be equivalent to the graph iso...
متن کاملFull Reduction at Full Throttle
Emerging trends in proof styles and new applications of interactive proof assistants exploit the computational facilities of the provided proof language, reaping enormous benefits in proof size and convenience to the user. However, the resulting proof objects really put the proof assistant to the test in terms of computational time required to check them. We present a novel translation of the t...
متن کاملA Complete Method for Symmetry Reduction in Safety Verification
Symmetry reduction is a well-investigated technique to counter the state space explosion problem for reasoning about a concurrent system of similar processes. Here we present a general method for its application, restricted to verification of safety properties, but without any prior knowledge about global symmetry. We start by using a notion of weak symmetry which allows for more reduction than...
متن کاملNonlocal interpretation of λ-variational symmetry-reduction method
In this paper we give a geometric interpretation of a reduction method based on the so called λ-variational symmetry (C. Muriel, J.L. Romero and P. Olver 2006Variational C∞-symmetries and Euler-Lagrange equations J. Differential equations 222 164-184). In general this allows only a partial reduction but it is particularly suitable for the reduction of variational ODEs with a lack of computable ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Australian Journal of Physics
سال: 1990
ISSN: 0004-9506
DOI: 10.1071/ph900439